$\forall$$M$:MsgA. ds($M$) $\in$ $x$:Id fp$\rightarrow$ Type